$\forall$$a$:Atom1, $n$:$\mathbb{Z}$. $n$:$\mathbb{Z}\parallel$$a$